header
{
	background-color: rgb(201, 201, 201);
	border-radius: 5px;
}
#button-container
{
	position: relative;
	width: 60%;
	min-width: 300px;  /* 3 * 100px */
	margin: 0 auto;
	display: table;
}
#button-list
{
	list-style-type: none;
	margin: 0;
	padding: 0;
	overflow: hidden;
	border-radius: 5px;
}
li.navibar-button
{
	float: left;
}
li.navibar-button a
{
	display: block;
	color: rgb(0, 0, 0);
	text-align: center;
	text-decoration: none;
	border-radius: 5px;
	width: 100px;
	height: 40px;
	line-height: 40px;
	transition: background-color 0.3s;
	-webkit-transition: background-color 0.3s;
}
li.navibar-button a:hover:not(.active-button)
{
	background-color: rgb(139, 139, 139);
	border-radius: 5px;
}
.active-button
{
	background-color: #80fcfc;
}
